S. Y. Teng (1906–88)

20 Y  M  M S

Twenty years ago, modal and mixed specifications were proposed as abstract models of system behavior. In this paper, we explain the nature and utility of such specifications, relate them to other formalisms, showcase some of their established applications, and mention some existing tool support. We also present some recent complexity results for decision problems underlying such applications an...

Y . - T . A . Teng the Periodontium Innate and Humoral Immunity and − − Protective and Destructive Immunity in the Periodontium

S y st em s , 20 11 Worldwide Consensus

Consensus is an abstraction of a variety of important challenges in dependable distributed systems. Thus a large body of theoretical knowledge is focused on modeling and solving consensus within different system assumptions. However, moving from theory to practice imposes compromises and design decisions that may impact the elegance, trade-offs and correctness of theoretical appealing consensus...

P H Y S Microwave Disk Resonator

In order to test the microwave properties of superconductors, we are developing a disk resonator, to be operated in the TM010 mode at 3.36 GHz. The goal is a measurement of microwave surface resistance at both low and high power, initially for niobium thin films, but eventually for other thin film superconductors. The currents in a disk resonator flow in and out radially. Edge currents are zero...

Inflammatory Modulation Effect of Glycopeptide from Ganoderma capense (Lloyd) Teng

Glycopeptide from Ganoderma capense (Lloyd) Teng (GCGP) injection is widely used in kinds of immune disorders, but little is known about the molecular mechanisms of how GCGP could interfere with immune cell function. In the present study, we have found that GCGP had inflammatory modulation effects on macrophage cells to maintain NO production and iNOS expression at the normal level. Furthermore...